<?php
	unset($CONFIG, $DB);
?>